Abstract logic

Results: 1693



#Item
51

Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

Add to Reading List

Source URL: plv.mpi-sws.org

- Date: 2017-01-19 08:43:04
    52

    Which Quantifiers are Logical? A combined semantical and inferential criterion Solomon Feferman1 Abstract. The aim of logic is to characterize the forms of reasoning that lead invariably from true sentences to true sente

    Add to Reading List

    Source URL: math.stanford.edu

    - Date: 2013-01-17 14:25:46
      53

      A Matter of Principles: Towards the Largest DLP Possible⋆ Markus Krötzsch and Sebastian Rudolph Institut AIFB, Universität Karlsruhe, DE Abstract. Description Logic Programs (DLP) have been described as a descriptio

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2009-07-07 04:46:34
        54

        Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2009-07-07 04:46:34
          55

          Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2014-03-02 08:51:30
            56

            Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r

            Add to Reading List

            Source URL: homes.soic.indiana.edu

            - Date: 2016-05-01 18:51:06
              57

              A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

              Add to Reading List

              Source URL: staff.um.edu.mt

              - Date: 2016-08-21 10:35:34
                58

                Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2013-05-22 10:58:51
                  59

                  TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

                  Add to Reading List

                  Source URL: www.wv.inf.tu-dresden.de

                  - Date: 2012-07-05 04:11:43
                    60

                    Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

                    Add to Reading List

                    Source URL: web.cecs.pdx.edu

                    - Date: 2014-01-24 04:02:53
                      UPDATE